Alternating-Time Temporal Logic RAJEEV ALUR University of Pennsylvania, Philadelphia, Pennsylvania THOMAS A. HENZINGER University of California, Berkeley, California

Source URL: www.cis.upenn.edu

Streaming Transducers for Algorithmic Verification of Single-pass List-processing Programs ∗ Rajeev Alur ˇ y Pavol Cern´

Source URL: ecee.colorado.edu

FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS ´ KOUSHA ETESSAMI, RAJEEV ALUR, MARCELO ARENAS, PABLO BARCELO, NEIL IMMERMAN, AND LEONID LIBKIN Department of Computer and Information Science, University of Pennsylvania

Source URL: marenas.sitios.ing.uc.cl

Syntax-Guided Synthesis Rajeev Alur† Sanjit A. Seshia‡ Rastislav Bodik‡ Rishabh Singh]

Source URL: homes.cs.washington.edu

Syntax-Guided Synthesis Rajeev ALUR a , Rastislav BODIK b , Eric DALLAL c , Dana FISMAN a , Pranav GARG d , Garvit JUNIWAL b , Hadas KRESS-GAZIT e , P. MADHUSUDAN d , Milo M. K. MARTIN a , Mukund RAGHOTHAMAN a , Shamwadi

Source URL: homes.cs.washington.edu

Litmus Tests for Comparing Memory Consistency Models: How Long Do They Need to Be?∗ Sela Mador-Haim Rajeev Alur

Source URL: www.cis.upenn.edu

Syntax-Guided Synthesis Rajeev ALUR a , Rastislav BODIK b , Eric DALLAL c , Dana FISMAN a , Pranav GARG d , Garvit JUNIWAL b , Hadas KRESS-GAZIT e , P. MADHUSUDAN d , Milo M. K. MARTIN a , Mukund RAGHOTHAMAN a , Shamwadi

Source URL: www.cis.upenn.edu

Theory in Practice for System Design and Verification Rajeev Alur University of Pennsylvania 1

Source URL: www.cis.upenn.edu

Precise Piecewise Affine Models from Input-Output Data Rajeev Alur, Nimit Singhania University of Pennsylvania ABSTRACT Formal design and analysis of embedded control software relies on mathematical models of dynamical s

Source URL: www.cis.upenn.edu

• Geometry
• Affine geometry
• Space
• Mathematics
• Differential geometry
• Affine transformation
• Transformation
• Feature detection
• Affine space
• Affine connection

Curriculum Vitae1 Rajeev Alur Address Department of Computer and Information Science 3330 Walnut Street, Levine Hall University of Pennsylvania

Source URL: www.cis.upenn.edu